home *** CD-ROM | disk | FTP | other *** search

---

/ Developer Source 7 / developer source - volume 7.iso / ieeex / aug96 / lee0f110.gif

< prev

next >

Graphics Interchange Format  |  1997-01-16  |  35KB  |  655x231  |  4-bit (13 colors)

Labels: text | screenshot | font | number | document | handwriting
OCR: [TASK: Configure-a-Module] - (domain-model) ->[ ...... ... ] (state-model) ->[. ... .. ] (precondition) ->[ .. ..... (protection) ->[ .. .. 1 (postcondition) ->[. .. ] (tse) ->[ << T>>">[START] "> << transition>>>[@(T,) ] "> << transition>> -- >[@(T,)]<(final)] [T. ! ]. [T.] ... [[ (NEG) ->[B];]]?] [B] ]]. ...... [ [Current-Module] (compatible)- >(configured-into) --- {Current-Backplane] ] [T]] ....... [TASK : Configure-a-Model] [T] .. .... [TASK: Find-a-Backplane-Suitable-for-Current-Model] Figure 10. The conceptual graph specification of a TSE for the task Configure-a -Module.

---